Bertrand Mazure: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Search for neutrinos from transient sources with the ANTARES telescope and optical follow-up observations (TAToO)

Damien Dornic, Jurgen Brunner, Stéphane Basa, Imen Al Samarai, Vincent Bertin, Michel Boer, José Busto, Stéphanie Escoffier, Alain Klotz, Alain Mazure, Bertrand Vallage

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

2011

Language:

english

File:

PDF, 259 KB

english, 2011

2

Charge carrier mobility study of a mesogenic thienothiophene derivative in bulk and thin films

Mazur, Leszek, Castiglione, Andrea, Ocytko, Kornel, Kameche, Farid, Macabies, Romain, Ainsebaa, Abdelmalek, Kreher, David, Heinrich, Benoît, Donnio, Bertrand, Sanaur, Sébastien, Lacaze, Emmanuelle, Fa

Journal:

Organic Electronics

Year:

2014

Language:

english

File:

PDF, 3.42 MB

english, 2014

3

Using local search to find MSSes and MUSes

Éric Grégoire, Bertrand Mazure, Cédric Piette

Journal:

European Journal of Operational Research

Year:

2009

Language:

english

File:

PDF, 359 KB

english, 2009

4

About the incremental validation of first-order stratified knowledge-based decision-support systems

Éric Grégoire, Bertrand Mazure

Journal:

Information Sciences

Year:

2002

Language:

english

File:

PDF, 217 KB

english, 2002

5

Local-search Extraction of MUSes

Éric Grégoire, Bertrand Mazure, Cédric Piette

Journal:

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

6

Boosting complete techniques thanks to local search methods

Bertrand Mazure, Lakhdar Saïs, Éric Grégoire

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 136 KB

english, 1998

7

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Computing prime implicants

Deharbe, David, Fontaine, Pascal, Le Berre, Daniel, Mazure, Bertrand

Year:

2013

Language:

english

File:

PDF, 245 KB

english, 2013

8

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning in Local Search

Audemard, Gilles, Lagniez, Jean-Marie, Mazure, Bertrand, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 291 KB

english, 2009

9

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Local Autarkies Searching for the Dynamic Partition of CNF Formulae

Grégoire, Éric, Mazure, Bertrand, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 297 KB

english, 2009

10

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Tracking MUSes and Strict Inconsistent Covers

Gregoire, Eric, Mazure, Bertrand, Piette, Cedric

Year:

2006

Language:

english

File:

PDF, 260 KB

english, 2006

11

[IEEE 2007 IEEE International Conference on Information Reuse and Integration - Las Vegas, NV, USA (2007.08.13-2007.08.15)] 2007 IEEE International Conference on Information Reuse and Integration - Reducing hard SAT instances to polynomial ones

Fourdrinoy, Olivier, Gregoire, Eric, Mazure, Bertrand, Sais, Lakhdar

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

12

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms

Gregoire, Eric, Lagniez, Jean-Marie, Mazure, Bertrand

Year:

2013

Language:

english

File:

PDF, 321 KB

english, 2013

13

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Solving E-Squaro through SAT-Coding

Gregoire, Eric, Hasni, Atef, Mazure, Bertrand, Piette, Cedric

Year:

2013

Language:

english

File:

PDF, 206 KB

english, 2013

14

[IEEE 2006 IEEE International Conference on Information Reuse & Integration - Waikoloa Village, HI, USA (2006.9.16-2006.9.16)] 2006 IEEE International Conference on Information Reuse & Integration - A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs

Gregoire, Eric, Mazure, Bertrand, Piette, Cedric, Sais, Lakdhar

Year:

2006

Language:

english

File:

PDF, 89 KB

english, 2006

15

ON FINDING MINIMALLY UNSATISFIABLE CORES OF CSPs

GRÉGOIRE, ÉRIC, MAZURE, BERTRAND, PIETTE, CÉDRIC

Journal:

International Journal of Artificial Intelligence Tools

Year:

2008

Language:

english

File:

PDF, 537 KB

english, 2008

16

Boosting MUC extraction in unsatisfiable constraint networks

Grégoire, Éric, Lagniez, Jean-Marie, Mazure, Bertrand

Journal:

Applied Intelligence

Year:

2014

Language:

english

File:

PDF, 1.25 MB

english, 2014

17

About some UP-based polynomial fragments of SAT

Al-Saedi, Balasim, Fourdrinoy, Olivier, Grégoire, Éric, Mazure, Bertrand, Saïs, Lakhdar

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 808 KB

english, 2017

18

Introduction to the special issue on CSP technologies in artificial intelligence

Grégoire, Éric, Mazure, Bertrand

Journal:

Year:

2015

Language:

english

File:

PDF, 73 KB

english, 2015

19

On getting rid of the preprocessing minimization step in MUC-finding algorithms

Grégoire, Éric, Lagniez, Jean-Marie, Mazure, Bertrand

Journal:

Year:

2015

Language:

english

File:

PDF, 2.90 MB

english, 2015

20

[IEEE 2008 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Dayton, OH, USA (2008.11.3-2008.11.5)] 2008 20th IEEE International Conference on Tools with Artificial Intelligence - On Approaches to Explaining Infeasibility of Sets of Boolean Clauses

Grégoire, Éric, Mazure, Bertrand, Piette, Cédric

Year:

2008

Language:

english

File:

PDF, 355 KB

english, 2008

21

An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases

Mazure, Bertrand, Saïs, Lakhdar, Grégoire, Éric

Journal:

International Journal of Cooperative Information Systems

Year:

1997

Language:

english

File:

PDF, 982 KB

english, 1997

22

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Multiple Contraction through Partial-Max-SAT

Gregoire, Eric, Lagniez, Jean-Marie, Mazure, Bertrand

Year:

2014

Language:

english

File:

PDF, 735 KB

english, 2014

23

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT

Al-Saedi, Balasim, Gregoire, Eric, Mazure, Bertrand, Sais, Lakhdar

Year:

2014

Language:

english

File:

PDF, 738 KB

english, 2014

24

A new class of nanostructured supramolecular organic semiconductors based on intertwined multi-lamellar co-assemblies in π-conjugated liquid-crystalline side-chain polymers

Xiao, Yiming, Zeng, Danli, Mazur, Leszek Mateusz, Castiglione, Andrea, Lacaze, Emmanuelle, Heinrich, Benoît, Donnio, Bertrand, Kreher, David, Attias, André-Jean, Ribierre, Jean-Charles, Mathevet, Fabr

Journal:

Polymer Journal

Year:

2016

Language:

english

File:

PDF, 1.77 MB

english, 2016

25

Insight into the contribution of isoprostanoids to the health effects of omega 3 PUFAs

Joumard-Cubizolles, Laurie, Lee, Jetty Chung-Yung, Vigor, Claire, Leung, Ho Hang, Bertrand-Michel, Justine, Galano, Jean-Marie, Mazur, André, Durand, Thierry, Gladine, Cecile

Journal:

Prostaglandins and Other Lipid Mediators

Year:

2017

Language:

english

File:

PDF, 1.33 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски